21. Computer aided tools for VLSI system design

کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)

موضوع : ، Integrated circuits- Very large scale integration- Design and construction- Data processing

22. Computer aided tools for VLSI system design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Very large scale integration - Design and construction - Data processing ، Integrated circuits

رده :
TK
7874
.
C64743
1987

23. Computer aids for VLSI design

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,، Computer-aided design

رده :
TK
7874
.
R83
1987

24. Computer aids for VLSI design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Very large scale integration - Design and construction - Data processing ، Integrated circuits,، Computer-aided design

رده :
TK
7874
.
R83
1987

25. Computer aids for VLSI design

پدیدآورنده :

کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)

موضوع : ، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Computer- aided design

26. Correct hardware design methodologies: proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991

پدیدآورنده :

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)

موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses,Computer - Aided design--congresses,Computer software--Verification--Congresses

رده :
TK
7874
.
A3353
1991

27. Design automation for timing-driven layout synthesis

پدیدآورنده :

موضوع : Metal oxide semiconductors, Complementary - Design and construction - Data processing,Integrated circuits - Very large scale integration - Design and construction - Data processing,Computer-aided design

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

28. Design of VLSI systems: a practical introduction

پدیدآورنده :

کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)

موضوع : ، Integrated circuits- Very large scale integration- Design and construction- Data processing

29. Evolutionary algorithms for VLSI CAD

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing , Computer-aided design , Algorithms , Evolutionary programming )Computer science( , Genetic programming )Computer science(

رده :
TK
7874
.
75
.
D74
1998

30. FPGA-based system design

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Field programmable gate arrays-- Design and construction,، System design-- Data processing,، Integrated circuits-- Very large scale integration

رده :
TK
7895
.
G36
.
W648
2004

31. Fault covering problems in reconfigurable VLSI systems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)

موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing,Integrated circuits - wafer-scale integration--Design and construction--Data processing,Fault-tolerant computing

رده :
TK
7874
.
F38
1992

32. Formal hardware verification : methods and systems in comparison

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Design and construction -- Data processing ، Integrated circuits -- Very large scale integration,، Integrated circuits -- Verification,، Computer-aided design

رده :
QA
76
.
L28
Vol
.
1287

33. Fundamentals of computer-aided circuit simulation

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Computer-aided design

رده :
TK
7874
.
M355
1988

34. Fundamentals of computer-aided circuit simulation

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Integrated circuits- Very large scale integration-Design and construction-Data processing,، Computer-aided design

رده :
TK
7874
.
M355

35. Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration

رده :
QA
76
.
L28
Vol
.
408

36. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification

رده :
TK
7874
.
C685
1989

37. High-level VLSI synthesis

پدیدآورنده :

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)

موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing,Computer-aided design

رده :
TK
7874
.
H5243
1991

38. High-level test synthesis of digital VLSI circuits

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Computer-aided design,، Digital integrated circuits-- Testing-- Data processing

رده :
TK
7874
.
75
.
L44
1997

39. High-performance digital VLSI circuit design

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Digital integrated circuits-- Design and construction-- Data processing,، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,، Computer-aided design

رده :
TK
7874
.
65
.
G8
1996

40. Integrated circuit defect-sensitivity : theory and computational models

پدیدآورنده :

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)

موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing,Integrated circuits - Very large scale integration - Defects - Mathematical models,Computer-aided design

رده :
TK
7874
.
P53
1993